The Loom-lag for Syntax Analysis Adding a Language-independent Level to Lag 1 Background the Left-associative Grammar Model (lag)

The left-associative grammar model (LAG) has been applied successfully to the mor-phologic and syntactic analysis of various european and asian languages. The algebraic deenition of the LAG is very well suited for the application to natural language processing as it inherently obeys de Saussure's second law (de Saussure, 1913, p. 103) on the linear nature of language, which phrase-structure grammar (PSG) and categorial grammar (CG) do not. This paper describes the so-called Loom-LAGs (LLAG) a specialisation of LAGs for the analysis of natural language. Whereas the only means of language-independent abstraction in ordinary LAG is the principle of possible continuations, LLAGs introduce a set of more detailed language-independent generalisations that form the so-called loom of a Loom-LAG. Every LLAG uses the very same loom and adds the language-speciic information in the form of a declarative description of the language much like an ancient mechanised Jacquard-loom would take a program-card providing the speciic pattern for the cloth to be woven. The linguistic information is formulated declaratively in so-called syntax plans that describe the sequential structure of clauses and phrases. This approach introduces the explicit notion of phrases and sentence structure to LAG without violating de Saussure's second law and without leaving the ground of the original algebraic deenition of LAG. LLAGs can in fact be shown to be just a notational variant of LAG but one that is much better suited for the manual development of syntax grammars for the robust analysis of free texts. As the reader may not be familiar with the model of left-associative grammar (LAG), this section starts with a brief introduction to LAG 1 , which the reader familiar with LAG may well skip. Most attempts at grammar acquisition and grammar coding are based on variants of PS-grammar. For reasons of complexity, these PS-grammars must be context-free (CF). It is widely agreed, however, that the class of context-free languages is not suucient for the description of natural language. Hence these approaches suuer from an inherent empirical restriction. The approach presented in this paper is based on the formalism of Left Associative Grammar (LAG, (Hausser, 1989)). While PS-grammar is based on the principle of possible substitutions, LA-grammar uses the principle of possible continuations. This diierence results in a complexity hierarchy which is orthogonal to the well-known Chomsky hierarchy.